Dynamic Mechanisms with Verification

Mechanisms with Verification for Any Finite Domain

In this paper we generalize the concept of verification introduced by Nisan and Ronen [STOC 1999]. We assume to have selfish agents with general valuation functions and we study mechanisms with verification for optimization problems with these selfish agents. We provide a technique for designing truthful mechanisms with verification that optimally solve the underlying optimization problem. Our ...

New Constructions of Mechanisms with Verification

A social choice function A is implementable with verification if there exists a payment scheme P such that (A,P ) is a truthful mechanism for verifiable agents [Nisan and Ronen, STOC 99]. We give a simple sufficient condition for a social choice function to be implementable with verification for comparable types. Comparable types are a generalization of the well-studied one-parameter agents. Ba...

Java bytecode verification with dynamic structures

Java applets run on a Virtual Machine that checks code’s integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java applets to run on smart cards. Large memory space requirements of the verification process do not allow the implementation of a Bytecode Verifier embedded in the Java Card Virtual Machine. To address this feasibility proble...

Dynamic Ownership Verification

A joint-ownership verification approach [1] verified all the co-owners with a secret sharing algorithm given that an authority is always available. The joint-ownership scheme was also extended to confirm partial ownership with additional watermarks embedded. This paper pointed out this extension reduces the scheme security and image quality. Additionally, the present paper proposes a new dynami...

Biometric Verification Mechanisms Protection Profile